机译:从执行关键软件部分到粗粒度可重新配置硬件的性能提升
机译:基于模型的特定于平台的协同设计方法,用于具有硬件虚拟化和抢占的动态部分可重配置的系统
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:基于模型的可重构硬件可执行规范的方法
机译:一种对整个系统建模的可执行和集成方法:将OpEMCSS应用于完整系统系统的基于仿真和基于模型的系统工程。
机译:可重构数字神经形态硬件的高效突触存储器结构
机译:基于时间模型的编程:强大的任务关键序列的可执行规范